Proportional lumpability and proportional bisimilarity

نویسندگان

چکیده

Abstract In this paper, we deal with the lumpability approach to cope state space explosion problem inherent computation of stationary performance indices large stochastic models. The method is based on a aggregation technique and applies Markov chains exhibiting some structural regularity. Moreover, it allows one efficiently compute exact values when model actually lumpable. notion quasi-lumpability idea that chain can be altered by relatively small perturbations transition rates in such way new resulting case, only upper lower bounds derived. Here, introduce novel quasi-lumpability, named proportional , which extends original definition but, differently from general derive for process. We then bisimilarity terms process algebra PEPA. Proportional induces underlying continuous-time chains. Finally, prove compositionality results show applicability our theory through examples.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Chaos-Based Communication Scheme Using Proportional and Proportional-Integral Observers

In this paper, we propose a new chaos-based communication scheme using the observers. The novelty lies in the masking procedure that is employed to hide the confidential information using the chaotic oscillator. We use a combination of the addition and inclusion methods to mask the information. The performance of two observers, the proportional observer (P-observer) and the proportional integra...

متن کامل

Anti-windup Schemes for Proportional Integral and Proportional Resonant Controller

Problems like windup or rollover arise in a PI controller working under saturation. Hence antiwindup schemes are necessary to minimize performance degradation. Similar situation may occur in a Proportional Resonant (PR) controller in the presence of a sustained error input. Several methods can be employed based on existing knowledge on PI controller to counter this problem. In this paper few su...

متن کامل

Proportional Control

'Nothing like the human hand' [1] is the title of Boivin's 1968 article reviewing current research and development in prosthetic hands at that time. This title holds true even today although technological advances have allowed amputees access to componentry offering greater function, cosmesis and efficiency of control. Childress also reminds us that hand replacement by means of prosthetic inter...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Acta Informatica

سال: 2021

ISSN: ['1432-0525', '0001-5903']

DOI: https://doi.org/10.1007/s00236-021-00404-y